Boolean Subalgebras of Orthoalgebras
نویسندگان
چکیده
We reconstruct orthoalgebras from their partially ordered set of Boolean subalgebras, and characterize partially ordered sets of this form, using a new notion of a direction. For Boolean algebras, this reconstruction is functorial, and nearly an equivalence.
منابع مشابه
Partition Logics, Orthoalgebras and Automata
We investigate the orthoalgebras of certain non-Boolean models which have a classical realization. Our particular concern will be the partition logics arising from the investigation of the empirical propositional structure of Moore and Mealy type automata.
متن کاملTopological Orthoalgebras
We define topological orthoalgebras (TOAs), and study their properties. While every topological orthomodular lattice is a TOA, the lattice of projections of a Hilbert space (in its norm or strong operator topology) is an example of a lattice-ordered TOA that is not a topological lattice. On the other hand, we show that every compact Boolean TOA is a topological Boolean algebra. We also show tha...
متن کاملTwo descriptions of state spaces of orthomodular structures
We present and compare two descriptions of state spaces of orthomodular structures (orthoalgebras etc.). Both are based on families of Boolean algebras and their corresponding hypergraphs called Greechie diagrams. The rst approach is based on pasted families of Boolean algebras and gives all orthoalgebras as their pastings. It gives a complete description of the orthoalgebra, as well as its sta...
متن کاملCompact Orthoalgebras
We initiate a study of topological orthoalgebras (TOAs), concentrating on the compact case. Examples of TOAs include topological orthomodular lattices, and also the projection lattice of a Hilbert space. As the latter example illustrates, a lattice-ordered TOA need not be a topological lattice. However, we show that a compact Boolean TOA is a topological Boolean algebra. Using this, we prove th...
متن کاملDecomposition of group-valued measures on orthoalgebras
We present a general decomposition theorem for a positive inner regular finitely additive measure on an orthoalgebra L with values in an ordered topological group G, not necessarily commutative. In the case where L is a Boolean algebra, we establish the uniqueness of such a decomposition. With mild extra hypotheses on G, we extend this Boolean decomposition, preserving the uniqueness, to the ca...
متن کامل